Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
471	A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:29:59 Type theory Lambda calculus Data types Polymorphism Theoretical computer science Subtype polymorphism System F ALGOL 68 Type system Software engineering Mathematics Computing
472	Partial Evaluation using Rewrite Rules A Specification of a Partial Evaluator for Similix in Stratego Lennart Swart 13th September 2002 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functions and mappings Compiler optimizations Evaluation strategy Computability theory Cross-platform software Lambda calculus Partial evaluation Function Eval Software engineering Computing Computer programming
473	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
474	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
475	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
476	Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Brigitte Pientka Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-07-16 18:56:31 Computability theory Programming idioms Theoretical computer science Recursion Subroutines Pattern matching Haskell Map Lambda calculus Software engineering Computing Computer programming
477	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lisp programming language Procedural programming languages Lambda calculus Cross-platform software Name binding Append Scheme Combinatory logic Scope Software engineering Computing Computer programming
478	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus
479	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
480	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:24:31 Contract law Functions and mappings Lambda calculus Combinatorics Factorial Number theory Design by contract Contract Futures contract Software engineering Mathematics Computer programming

UPDATE